1. Advances in Data Base Theory :
پدیدآورنده : edited by Hervé Gallaire, Jack Minker, Jean Marie Nicolas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Data structures (Computer science)
رده :
QA76
.
9
.
D35
E358
1981
2. Foundations of deductive databases and logic programming
پدیدآورنده : contributors, Krzysztof R. Apt ... ]et al.[ ; edited by Jack Minker
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Deductive data bases , Logic programming
رده :
QA
76
.
9
.
D32
F68
1988
3. Logic-based artificial intelligence /
پدیدآورنده : edited by Jack Minker.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer logic.,Logic, Symbolic and mathematical.,Intelligence artificielle.,Logique informatique.,Logique symbolique et mathématique.,Artificial intelligence.,Computer logic.,Künstliche Intelligenz,Logic, Symbolic and mathematical.,Mathematische Logik
رده :
QA76
.
9
.
L63
L62
2000
